logic n. 1.邏輯,理論學(xué)。 2.推理[方法];邏輯性,條理性。 3. 威力,壓力,強(qiáng)制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強(qiáng)盜邏輯,惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭]的強(qiáng)制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
Based on the production of other researchers such as professor xu yang and professor qin keyun , this paper discusses the structure and properties of lattice implication algebra , tautologies in some lattice - valued systems , automated reasoning methods , lattice - valued prepositional logic system 本文的工作是在徐揚(yáng)教授、秦克云教授等研究成果的基礎(chǔ)上,對格蘊(yùn)涵代數(shù)的性質(zhì)、結(jié)構(gòu)、格值命題邏輯系統(tǒng)中的重言式、自動推理方法、格值命題邏輯系統(tǒng)等進(jìn)行了一些研究。
Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis . the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science , which are important in theory and have wide applications in a lot of real - world problems 命題邏輯可滿足性( sat )問題和有限論域一階邏輯模型搜索( folms )問題是計算機(jī)理論科學(xué)中的經(jīng)典問題,不僅在理論上有著重要的地位,而且在許多實際問題中得到了廣泛的應(yīng)用。
This paper came from the national nature science foundation and beijing nature science foundation . the subject is the research of the relation between generalized propositional logic ( gpl ) and other prepositional logic . the paper shows the universality of generalized propositional logic 本文的研究結(jié)合國家自然科學(xué)基金“經(jīng)驗知識推理理論” ( 60273087 )和北京市自然科學(xué)基金“不精確推理理論研究” ( 4032009 )進(jìn)行,主要是研究命題泛邏輯學(xué)對其他命題邏輯的包容性,即根據(jù)泛邏輯學(xué)的生成規(guī)則,可以直接生成各種命題邏輯。